(define (problem tire_21_0_4903)
  (:domain tire)
  (:objects n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 n19 n20 - location)
  (:init (vehicle-at n0)
         (road n0 n18) (road n18 n0)
         (road n1 n2) (road n2 n1)
         (road n1 n7) (road n7 n1)
         (road n1 n16) (road n16 n1)
         (road n2 n6) (road n6 n2)
         (road n2 n8) (road n8 n2)
         (road n2 n13) (road n13 n2)
         (road n2 n17) (road n17 n2)
         (road n2 n20) (road n20 n2)
         (road n3 n8) (road n8 n3)
         (road n3 n14) (road n14 n3)
         (road n4 n12) (road n12 n4)
         (road n4 n16) (road n16 n4)
         (road n5 n15) (road n15 n5)
         (road n6 n9) (road n9 n6)
         (road n6 n13) (road n13 n6)
         (road n6 n16) (road n16 n6)
         (road n6 n18) (road n18 n6)
         (road n7 n18) (road n18 n7)
         (road n7 n19) (road n19 n7)
         (road n8 n13) (road n13 n8)
         (road n8 n14) (road n14 n8)
         (road n8 n17) (road n17 n8)
         (road n9 n10) (road n10 n9)
         (road n10 n15) (road n15 n10)
         (road n11 n14) (road n14 n11)
         (road n12 n13) (road n13 n12)
         (road n12 n16) (road n16 n12)
         (road n14 n15) (road n15 n14)
         (road n14 n18) (road n18 n14)
         (road n16 n17) (road n17 n16)
         (road n16 n20) (road n20 n16)
         (road n17 n20) (road n20 n17)
         (road n18 n19) (road n19 n18)
         (road n18 n20) (road n20 n18)
         (road n19 n20) (road n20 n19)
         (spare-in n0)
         (spare-in n1)
         (spare-in n5)
         (spare-in n6)
         (spare-in n15)
         (spare-in n16)
         (spare-in n20)
         (not-flattire)
  )
  (:goal (vehicle-at n14))
)
